perm filename GROUP.DWL[P,JRA]1 blob sn#065035 filedate 1973-10-03 generic text, type T, neo UTF8
00100	VAR: x,y,z;
00200	INF_PRED:=; EQUALITY:=;
00300	INF_OP:⊗;
00400	PRE_OP:g,e;
00500	
00600	g1:(x⊗y)⊗z=x⊗(y⊗z);
00700	g2:e⊗x=x;
00800	g3:g(x)⊗x=e;
00900	THM:x⊗e=x; ;